Susanne Graf: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (27)
Most Popular
List
- List
- Table

1

Fachbereichsarbeit - Die Götter der Kelten

Fachbereichsarbeit - Die Götter der Kelten

Language:

german

File:

PDF, 2.96 MB

0 / 0

german

2

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Springer-Verlag Berlin Heidelberg

Albert Benveniste, Benoît Caillaud (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Year:

2004

Language:

english

File:

PDF, 7.29 MB

0 / 0

english, 2004

3

Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

Springer-Verlag Berlin Heidelberg

Lars Frantzen, Jan Tretmans (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Year:

2007

Language:

english

File:

PDF, 3.18 MB

0 / 0

english, 2007

4

Formal Techniques for Networked and Distributed Systems – FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

Formal Techniques for Networked and Distributed Systems – FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Susanne Graf, Sophie Quinton (auth.), John Derrick, Jüri Vain (eds.)

Year:

2007

Language:

english

File:

PDF, 5.35 MB

0 / 0

english, 2007

5

Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, Ju

Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, Ju

Springer International Publishing

Susanne Graf, Mahesh Viswanathan (eds.)

Year:

2015

Language:

english

File:

PDF, 5.57 MB

0 / 0

english, 2015

6

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Year:

2008

Language:

english

File:

PDF, 6.30 MB

0 / 0

english, 2008

7

Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings

Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Reinhard Wilhelm (auth.), Susanne Graf, Laurent Mounier (eds.)

Year:

2004

Language:

english

File:

PDF, 3.14 MB

0 / 0

english, 2004

8

Lebendköder

Lebendköder

Year:

2018

Language:

german

File:

EPUB, 596 KB

0 / 0

german, 2018

9

Berberidaceae -- Cornaceae

Berberidaceae -- Cornaceae

Susanne Graf, Laurent Mounier

Year:

1931

Language:

russian

File:

DJVU, 17.57 MB

0 / 0

russian, 1931

10

Lebendköder

Lebendköder

Language:

german

File:

EPUB, 597 KB

0 / 0

german

11

Aceh: History, Politics and Culture

Aceh: History, Politics and Culture

ISEAS Publishing

Arndt Graf (editor), Susanne Schroter (editor), Edwin Wieringa (editor)

Year:

2010

Language:

english

File:

PDF, 5.10 MB

0 / 0

english, 2010

12

Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Springer International Publishing

Tiziana Margaria, Susanne Graf, Kim G. Larsen

Year:

2019

Language:

english

File:

PDF, 19.57 MB

0 / 0

english, 2019

13

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Pierre Wolper, Bernard Boigelot (auth.), Susanne Graf, Michael Schwartzbach (eds.)

Year:

2000

Language:

english

File:

PDF, 5.36 MB

0 / 0

english, 2000

14

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Year:

2008

Language:

english

File:

PDF, 7.96 MB

0 / 0

english, 2008

15

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures ... / Programming and Software Engineering)

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures ... / Programming and Software Engineering)

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Year:

2005

Language:

english

File:

PDF, 3.81 MB

0 / 0

english, 2005

16

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Springer-Verlag Berlin Heidelberg

Kung-Kiu Lau, Mario Ornaghi, Zheng Wang (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Year:

2006

Language:

english

File:

PDF, 3.85 MB

0 / 0

english, 2006

17

Psychoanalyse in der Weiterbildung: Zur Professionalisierung sozialer Arbeit

Psychoanalyse in der Weiterbildung: Zur Professionalisierung sozialer Arbeit

VS Verlag für Sozialwissenschaften

Manfred Clemenz, Christel Beier, Sylvia Buchen, Heinrich Deserno, Adrian Gaertner, Susanne Graf-Deserno (auth.)

Year:

1992

Language:

german

File:

PDF, 3.96 MB

0 / 0

german, 1992

18

Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings

Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Mihalis Yannakakis (auth.), Susanne Graf, Wenhui Zhang (eds.)

Year:

2006

Language:

english

File:

PDF, 7.95 MB

0 / 0

english, 2006

19

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Year:

2008

Language:

english

File:

PDF, 4.93 MB

0 / 0

english, 2008

20

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Springer-Verlag Berlin Heidelberg

Albert Benveniste, Benoît Caillaud (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Year:

2004

Language:

english

File:

PDF, 9.52 MB

0 / 0

english, 2004

21

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Pierre Wolper, Bernard Boigelot (auth.), Susanne Graf, Michael Schwartzbach (eds.)

Year:

2000

Language:

english

File:

PDF, 7.14 MB

0 / 0

english, 2000

22

Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings

Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Reinhard Wilhelm (auth.), Susanne Graf, Laurent Mounier (eds.)

Year:

2004

Language:

english

File:

PDF, 5.53 MB

0 / 0

english, 2004

23

Models in Software Engineering: Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers

Models in Software Engineering: Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Iulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert (auth.), Michel R. V. Chaudron (eds.)

Year:

2009

Language:

english

File:

PDF, 9.02 MB

0 / 0

english, 2009

24

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Springer-Verlag Berlin Heidelberg

Erika Ábrahám, Frank S. de Boer (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Year:

2003

Language:

english

File:

PDF, 3.87 MB

0 / 0

english, 2003

25

COTS-Based Software Systems: 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005. Proceedings

COTS-Based Software Systems: 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Ivica Crnkovic, Jakob Axelsson, Susanne Graf, Magnus Larsson, Rob van Ommering (auth.), Xavier Franch, Daniel Port (eds.)

Year:

2005

Language:

english

File:

PDF, 2.66 MB

0 / 0

english, 2005

26

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Springer-Verlag Berlin Heidelberg

Kung-Kiu Lau, Mario Ornaghi, Zheng Wang (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Year:

2006

Language:

english

File:

PDF, 3.67 MB

0 / 0

english, 2006

27

COTS-Based Software Systems: 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005. Proceedings

COTS-Based Software Systems: 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Ivica Crnkovic, Jakob Axelsson, Susanne Graf, Magnus Larsson, Rob van Ommering (auth.), Xavier Franch, Daniel Port (eds.)

Year:

2005

Language:

english

File:

DJVU, 3.39 MB

0 / 0

english, 2005